" Igor V. Pottosin" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Автор: Dines Bjorner, Автор: Manfred Broy, Автор: Igor V. Pottosin

Размер книги: 3.88 Mb

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Автор: Dines Bjorner, Автор: Manfred Broy, Автор: Igor V. Pottosin

Размер книги: 3.86 Mb